7Search.ccpropositional functionpropositional functionpropositional function什么意思propositional function discrete mathpropositional function meaningpropositional function examplespropositional function calculatorpropositional functions are propositions